La traduction juridique : entre équivalence fonctionnelle et équivalence formelle

Multiplication Complexe et Équivalence Élémentaire Dans Le Langage des Corps

Résumé. Soit K et K ′ deux corps elliptiques avec multiplication complexe sur un corps algébriquement clos k de caractéristique 0, non k-isomorphes, et soit C et C ′ deux courbes ayant pour corps de fonctions K et K ′ respectivement. Nous démontrons que si les anneaux d’endomorphismes de C et de C ′ ne sont pas isomorphes, alors K et K ′ ne sont pas élémentairement équivalents dans le langage d...

Modèles et algorithmes pour la traduction automatique

Algebraic Definition of a Functional Programming Language and Its Semantic Models

— In the usual framework of abstract types programming languages inciuding a définition mechanism for partial recursive functions cannot be specified sufficiently complete because of the termination problem. Therefore the algebraic concepts of abstract types are extended to partial algebras leading to "total" homomorphisms for partial algebras. In this framework an abstract type is given defini...

Darwin et la socialit\'e : entre anthropomorphisme et gradualisme

We propose, in this article, an analysis of the Darwin’s approach to sociality. Sociality is perfectly integrated into the selective model, and is caused by the same process as struggle for existence. Thus, the selective process does not prohibit demonstrating cooperation, but on the contrary, explains it. We will see that the unification of sociality, in a more adequate representation to mamma...

Contribution à la vérication formelle et programmation par contraintes

ion des prédicats Le model checking symbolique utilise une représenta-tion efficace des formules booléennes. Une façon orthogonale pour accrôıtre l’effi-cacité est de simplifier le modèle en cours de vérification en prenant une abstraction.Ce principe a été utilisé en vérification de matériel (propriétés en logique temporellede programmes assembleur) [16] puis de logiciel [14]. ...